es{-}interface{-}empty(${\it es}$;$I$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. $\neg$($\uparrow$($e$ $\in_{b}$ $I$))